TAGs: real square roots